Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
251	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
252	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
253	Universal codes of the natural numbers Yuval Filmus July 26, 2013 Abstract A code of the natural numbers is a uniquely-decodable binary code of the natural numbers with non-decreasing codeword lengths, which satisfies Kr Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-07-26 09:10:31 Series Measure theory Functional analysis Inequalities Real analysis Monotone convergence theorem Mathematical analysis Mathematics Calculus
254	UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION (LEVEL 9) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-13 07:45:52 Computer programming Functional languages Propositional calculus Procedural programming languages FO Finite model theory Negation B-tree ML Computing Boolean algebra Software engineering
255	Convex Co-embedding Farzaneh Mirzazadeh Yuhong Guo Dale Schuurmans Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2014-05-18 18:06:46 Functional analysis Machine learning Convex analysis Convex optimization Mathematical optimization Function Embedding Projection Calculus of variations Mathematics Mathematical analysis Functions and mappings
256	Perl versiondocumentation - perlref NAME perlref - Perl references and nested data structures NOTE Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:45:32 Perl Data types Subroutines Anonymous function Functional programming Lambda calculus Perl module Eval Closure Software engineering Computing Computer programming
257	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
258	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
259	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing

UPDATE